Henkin and Function Quantifiers

نویسندگان

  • Michal Krynicki
  • Jouko A. Väänänen
چکیده

Henkin [7] introduced quantifiers which arise when usual (universal and existential) quantifiers are arranged in non-linear order. These quantifiers bre known as partially ordered quantifiers or Henkin quantifiers. Is. was observed already in [7] that languages with these quantifiers are stronger than first-order logic. A result of [ll] shows that even the weakest enkin quantifier has essentially the same expressive power as second-order logic. In this paper we introduce a simplification of Henkin quantifiers called function quantifiers. We show that function quantifiers are intimately connected with partially ordered quantifiers and suggest that they provide a natural framework for the study of partially ordered quantifiers and second-order definability in general. This paper continues work started in [9]. We are indebted to Alistair Lachlan and Lauri Hella for helpful discussions concerning preliminary versions of Section 8. We are also grateful to the referee for his or her remarks and suggestions. For basic notions concerning extensions of first-order logic and generalized uantifiers, the reader is referred to [ 11. Our logics 5? will mostly be extensions of 5$,,. obtained by adding geiazralized quantifiers in the sense of [12]. We recall the definition of a generalized quantifier from [ 121. Let K be a class of models of a relational similarity type r = (no,. .. , &). K is assumed to be closed under isomorphisms. The generalized quantifier Q asociated with K is defined as fQllows:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Decidability Problems in Languages with Henkin Quantifiers

Krynicki, M. and M. Mostowski, Decidability problems in languages with Henkin quantifiers, Annals of Pure and Applied Logic 58 (1992) 149-172. We consider the language L(H,) with all Henkin quantifiers H, defined as follows: H,,x,...x,y,.~.y, 4(x,,..., x,, Y,, . , Y,) iff 3f, . . .f, Vxx, . . .x, 9(x,, . . ,x,, f,(xA . , f,(x,)). We show that the theory of equality in L(H,) is undecidable. The ...

متن کامل

Henkin quantifiers and complete problems

Certain applications of logic to computer science, for example those discus: in [4], have the following features: only finite models are of interest, first-order logic is not sufficiently expressive. Accordingly, various extensions first-order logic have been proposed and analyzed for finite structures. " analysis often reveals connections with computational complexity, and ind some of the exte...

متن کامل

Degrees of logics with Henkin quantifiers in poor vocabularies

We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L∗∅ is of degree 0 . We show that the same holds also for some weaker logics like L∅(Hω) and L∅(Eω). We...

متن کامل

Dependence logic with a majority quantifier

We study the extension of dependence logic D by a majority quantifier M over finite structures. Dependence logic [19] extends first-order logic by dependence atomic formulas =(t1, . . . , tn) the intuitive meaning of which is that the value of the term tn is completely determined by the values of t1, . . . , tn−1. While in first-order logic the order of quantifiers solely determines the depende...

متن کامل

Ways of Branching Quantifers* Generalizing from the Existence of Skolem Normal Forms

Branching quantifiers were first introduced by L. Henkin in his 1959 paper 'Some Remarks on Infinitely Long Formulas'. By 'branching quantifiers' Henkin meant a new, non-linearly structured quantifier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form. 1 The branching (or partially-ordered) quantifier-prefix is, however, not essentially i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 43  شماره 

صفحات  -

تاریخ انتشار 1989